200 XIII INTEGRATION The mapping /i-» j/dA so defined is clearly a C-linear form on the complex vector space JS?£(X, |A|) which extends the given C-linear form A on jf C(X). (13.16.3) J/"A /5 dwy complex measure on X, w toe A = /z • |A|, w/zere /z fr a locally \X\-integrable function such that \h(x)\ = 1 almost everywhere with respect to |A|. Let Al9 A2 denote the real measures ^?A, ./A, respectively. Then [AJ <^ |A| and |A2| ^ m (13.3.7), so that At and A2 are measures with base |A|, and therefore the same is true of A. If A = h • |A|, it follows that |A| = \h\ - |A| (13.13.5), which implies that \h(x)\ = 1 almost everywhere with respect to |A| (13.15.3). It follows now from the definition (13.16.2) and from (13.14.3) that, for any A-integrable function/, we have (13.16.4) f/dA= \fhdW and hence, by virtue of (13.16.3) and (13.10.3), (13.16.5) /dA £ ( J \f\d\X\. A function is said to be ^-negligible (resp. ^-measurable) if it is |A|-negligible (resp. | A| -measurable). Likewise for sets. If A and /z are two complex measures and if /is both A-integrable and /x-integrable, then / is (A + /i)-integrable, by virtue of (13.16.1) and the inequality |A + iA S |A| + |/z| (13J.8). If A is a complex measure, a function g is said to be locally X-integrable if it is locally |A|-integrable. In that case, for every function /e 3ffc(X), the function #/is A-integrable, and as in (1 3.1 3) we see that/ h-» | gfdl is a meas- ure, denoted by g - A. If A = h - |A| (13.16.3), we have jfy dX =jfgh d|A|, or equivalently g - A = (gh) • |A|, so that the study of measures of the form g - A is immediately reduced to the case where A is a positive measure. In particular, it follows from (13.13.4) that (13.16.6) l<rA| = |<7|-|A|.le for all n. Conversely, if/is ^n-integrable for all n, then the func-